$\forall$${\it es}$:ES, $L$:(E List), $i$:Id. loc{-}on{-}path(${\it es}$;$i$;$L$) $\in$ $\mathbb{P}$